UML-CASTING: Test synthesis from UML models using constraint resolution1

We present UML-CASTING, a prototype tool for computer-assisted generation of test suites from UML models. The concept underlying Casting is that a large part of test cases corresponding to a given test strategy can be obtained automatically from the text of the specification. A test strategy consists of a set of decomposition rules that are applied to the expressions in a specification in order to reveal potentially interesting test cases. In the case of UML-CASTING, the decomposition is applied to class and state diagrams in order to yield an intermediate representation (also in the shape of a state machine) from which test (here, method invocations) can be extracted. Expressions are written in a subset of OCL2. The user can then specify two kinds of goals: either a coverage percentage that he wants to achieve or specific sequence of method calls that he wants to see executed. In either case, UML-CASTING will use constraint-solving techniques to produce test cases to achieve these goals.